1. Methods of programming : selected papers on the CIP-project
پدیدآورنده : M. Broy, M. Wirsing )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming
رده :
QA
76
.
L28
Vol
.
544
2. Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers
پدیدآورنده : Broy, M
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Automobiles -- Software -- Design -- Congresses,، Automobiles -- Electronic equipment -- Congresses,، Automotive computers -- Congresses
رده :
TJ
211
.
47
.
M84
2008
3. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
4. Program construction : International Summer School
پدیدآورنده : F.L. Bauer...]et al.[; edited by F.L. Bauer, M. Broy
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Computer programming
رده :
QA
76
.
L28
Vol
.
69
5. Program construction : international summer school
پدیدآورنده : F. L. Bauer ... )et al.( ; edited by F. L. Bauer and M. Broy
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Addresses, essays, lectures ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
69
